The complete Generating Function for Gessel Walks is Algebraic

نویسندگان

  • Alin Bostan
  • Manuel Kauers
چکیده

Gessel walks are lattice walks in the quarter plane N2 which start at the origin (0, 0) ∈ N2 and consist only of steps chosen from the set {←,↙,↗,→}. We prove that if g(n; i, j) denotes the number of Gessel walks of length n which end at the point (i, j) ∈ N2, then the trivariate generating series G(t;x, y) = X n,i,j≥0 g(n; i, j)xyt is an algebraic function.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A human proof of Gessel’s lattice path conjecture

Gessel walks are lattice paths confined to the quarter plane that start at the origin and consist of unit steps going either West, East, South-West or North-East. In 2001, Ira Gessel conjectured a nice closed-form expression for the number of Gessel walks ending at the origin. In 2008, Kauers, Koutschan and Zeilberger gave a computer-aided proof of this conjecture. The same year, Bostan and Kau...

متن کامل

Walks in the quarter plane: Kreweras’ algebraic model

We consider planar lattice walks that start from (0, 0), remain in the first quadrant i, j ≥ 0, and are made of three types of steps: North-East, West and South. These walks are known to have remarkable enumerative and probabilistic properties: – they are counted by nice numbers (Kreweras 1965), – the generating function of these numbers is algebraic (Gessel 1986), – the stationary distribution...

متن کامل

Classifying lattice walks restricted to the quarter plane

This work considers lattice walks restricted to the quarter plane, with steps taken from a set of cardinality three. We present a complete classification of the generating functions of these walks with respect to the classes algebraic, transcendental holonomic and non-holonomic. The principal results are a new algebraic class related to Kreweras’ walks; two new non-holonomic classes; and enumer...

متن کامل

Square lattice walks avoiding a quadrant

In the past decade, a lot of attention has been devoted to the enumeration of walks with prescribed steps confined to a convex cone. In two dimensions, this means counting walks in the first quadrant of the plane (possibly after a linear transformation). But what about walks in non-convex cones? We investigate the two most natural cases: first, square lattice walks avoiding the negative quadran...

متن کامل

Walks on the slit plane: other approaches

Let S be a finite subset of Z. A walk on the slit plane with steps in S is a sequence (0, 0) = w0, w1, . . . , wn of points of Z 2 such that wi+1−wi belongs to S for all i, and none of the points wi, i ≥ 1, lie on the half-line H = {(k, 0) : k ≤ 0}. In a recent paper, G. Schaeffer and the author computed the length generating function S(t) of walks on the slit plane for several sets S. All the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/0909.1965  شماره 

صفحات  -

تاریخ انتشار 2009